A FORMAL ANALYSIS OF A BUSINESS CONTRACT LANGUAGE
نویسندگان
چکیده
منابع مشابه
A Formal Analysis of a Business Contract Language
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a...
متن کاملthe effectiveness of strategy-based instruction in teaching english as a second or foreign language: a meta-analysis of experimental studies
a large number of single research studies on the effects of strategy-based instruction (sbi) in teaching english as a foreign or second language has been conducted so far. however, the lack of a comprehensive meta-analysis targeting the effectiveness of english language sbi is observed. moreover, the findings of experimental studies regarding the context of the english language, proficiency lev...
a swot analysis of the english program of a bilingual school in iran
با توجه به جایگاه زبان انگلیسی به عنوان زبانی بین المللی و با در نظر گرفتن این واقعیت که دولت ها و مسئولان آموزش و پرورش در سراسر جهان در حال حاضر احساس نیاز به ایجاد موقعیتی برای کودکان جهت یاد گیری زبان انگلیسی درسنین پایین در مدارس دو زبانه می کنند، تحقیق حاضر با استفاده از مدل swot (قوت ها، ضعف ها، فرصتها و تهدیدها) سعی در ارزیابی مدرسه ای دو زبانه در ایران را دارد. جهت انجام این تحقیق در م...
15 صفحه اولA Formal Semantics for a Quality of Service Contract Language
Current interests in the context of system development include non-functional aspects of an application and the quality of the service (QoS) it provides. In video on demand applications, for instance, properties such as delay, bandwidth and CPU utilization are monitored in order to identify if they are within acceptable limits. In our approach, non-functional requirements are described by contr...
متن کاملFormal Specification of Business Components – a Design by Contract Perspective
In software developers’ world two aspects are common knowledge: software fails are expensive, so we need reliable software; software itself is expensive, so we want reusable software. Design by Contract, advocated by Bertrand Meyer, is known as one of the most comprehensive methods for ensuring reliability, while delivering reusable software components. A business component is a component that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Cooperative Information Systems
سال: 2006
ISSN: 0218-8430,1793-6365
DOI: 10.1142/s0218843006001529